- typing definitions
- Программирование: определения типов (см. ISO/IEC 10746-3, ГОСТ Р ИСО/МЭК 10746-3-2001)
Универсальный англо-русский словарь. Академик.ру. 2011.
typing definitions
Смотреть что такое "typing definitions" в других словарях:
Duck typing — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Weak typing — In computer science, weak typing (a.k.a. loose typing ) is a property attributed to the type systems of some programming languages. It is the opposite of strong typing, and consequently the term weak typing has as many different meanings as… … Wikipedia
Darwin Information Typing Architecture — The Darwin Information Typing Architecture (DITA) is an OASIS standard XML data model for authoring and publishing. Many third party tools support authoring, including Adobe FrameMaker, XMetaL, Arbortext, Quark XML Author, Oxygen XML Editor,… … Wikipedia
Darwin Information Typing Architecture — Die Darwin Information Typing Architecture (DITA) ist ein Dokumentenformat, ähnlich dem bekannten DocBook. DITA wird von der Firma IBM und OASIS als freie Architektur entwickelt und steht als Dokumenttypdefinition (DTD) kostenlos zur Verfügung.… … Deutsch Wikipedia
Darwin Information Typing Architecture — Pour les articles homonymes, voir Darwin (homonymie). La Darwin Information Typing Architecture (acronyme : DITA, littéralement Architecture de production documentaire Darwin) est une architecture XML dédiée à la rédaction, la production et… … Wikipédia en Français
National Incident Management System — NIMS redirects here. For other meanings see Nims. The National Incident Management System (NIMS) is emergency management doctrine used nationwide to coordinate emergency preparedness and incident management and response among the public (Federal … Wikipedia
Hindley–Milner — In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley[1] and later rediscovered by… … Wikipedia
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Operational definition — The operational definition of a peanut butter sandwich might be simply the result of putting peanut butter on a slice of bread with a butter knife and laying a second equally sized slice of bread on top An operational definition defines something … Wikipedia
Comparison of Pascal and C — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia
Type safety — In computer science, type safety is a property of some programming languages that is defined differently by different communities, but most definitions involve the use of a type system to prevent certain erroneous or undesirable program behavior… … Wikipedia
